Product2[Int, Boolean] ~ (Int, Boolean)